#include "include/user.h"

int main(void) {
    printf("hello world\n");
    exit(0);
}